Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
441	Recent Developments in ΩMEGA’s Proof Search Programming Language Serge Autexier Dominik Dietrich Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:10:40 Logic Proof theory Formal systems Logical truth Syntax Proof assistants Mathematical proof Logic programming Sequent KeY Rule of inference Inference
442	Optimism in Sequential Decision-Making under Uncertainty Peter Bartlett Department of Statistics and Division of Computer Science UC Berkeley Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2007-08-23 19:31:01 Mathematical analysis Dynamic programming Markov processes Stochastic control Statistical inference Analysis Operations research Markov decision process Regret Distribution S0 Mathematical optimization
443	October 14, Spring 2009 Quiz 1 Solutions Introduction to Algorithms Massachusetts Institute of Technology Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2010-02-02 11:49:58 Computer programming Arrays Mathematical analysis Computing Finite automata Trie B-tree Master theorem Hash table
444	CSStat 260, Fall 2014: Learning in Sequential Decision Problems Lectures: Evans 334. Tuesday/Thursday 2:00-3:30. Instructor: Peter Bartlett http://www.stat.berkeley.edu/∼bartlett Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2014-08-28 11:49:09 Mathematical optimization Operations research Mathematical analysis Numerical analysis Convex optimization Stochastic optimization Multi-armed bandit Game theory Linear programming AMPL
445	Stat 260/CSLearning in Sequential Decision Problems. Peter Bartlett 1. Recall: MDPs. 2. Value iteration. 3. Policy iteration. Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2014-11-25 12:45:38 Markov processes Mathematics Probability theory Mathematical analysis Dynamic programming Markov decision process Stochastic control Markov chain Mathematical optimization Distribution
446	Microsoft Word - Create_Performance_Task_Fall2015_v2b.docx Add to Reading List Source URL: d1b10bmlvqabco.cloudfront.net Language: English - Date: 2015-12-10 18:51:16 Mathematical logic Algorithm Theoretical computer science Abstraction Programming language AP Computer Science Principles Computing Cognitive science Cognition Philosophy
447	COMP 520 FallType checking (1) COMP 520 Fall 2007 Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-15 11:10:49 Type theory Symbol Type system Mathematical logic Logic in computer science Theoretical computer science Automated theorem proving Logic programming
448	October 17, Fall 2007 Quiz 1 Solutions Introduction to Algorithms Massachusetts Institute of Technology Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2009-05-07 21:09:16 Search algorithms Information retrieval Information science Hashing Mathematics Mathematical optimization Operations research Arrays Hash table Hash function Universal hashing Dynamic programming
449	Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Theoretical computer science Logic in computer science Formal methods Constraint programming Electronic design automation Satisfiability modulo theories Separation logic Mathematical logic Logic programming Logic
450	OpenAtom: Scalable Ab-Initio Molecular Dynamics with Diverse Capability Nikhil Jain† , Eric Bohm† , Eric Mikida† , Subhasish Mandal§ , Minjung Kim§ , Prateek Jindal† , Qi Li? , Sohrab Ismail-Beigi§ , Glenn J. Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2016-03-06 18:26:24 Digital signal processing Mathematical analysis Parallel computing Mathematics Fast Fourier transform OpenAtom Charm++ Integral Coordinate system Computer programming

UPDATE